- LNCS408
- -M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer-Verlag 1990
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
LNCS408 — M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer Verlag 1990 … Acronyms